|
Quantum programming is a set of computer programming languages that allow the expression of quantum algorithms using high-level constructs. The point of quantum languages is not so much to provide a tool for programmers, but to provide tools for researchers to understand better how quantum computation works and how to reason formally about quantum algorithms. One can single out two main groups of quantum programming languages: imperative quantum programming languages and functional quantum programming languages. The most prominent representatives of the first group are QCL〔(【引用サイトリンク】title=The QCL Programming Language )〕 and LanQ.〔(【引用サイトリンク】title=LanQ – a quantum imperative programming language )〕 Efforts are underway to develop functional programming languages for quantum computing. Examples include Selinger's QPL,〔Peter Selinger, ("Towards a quantum programming language" ), Mathematical Structures in Computer Science 14(4):527-586, 2004.〕 and the Haskell-like language QML by Altenkirch and Grattage.〔(Jonathan Grattage: QML Research ) (website)〕〔T. Altenkirch, V. Belavkin, J. Grattage, A. Green, A. Sabry, J. K. Vizzotto, (QML: A Functional Quantum Programming Language ) (website)〕 Higher-order quantum programming languages, based on lambda calculus, have been proposed by van Tonder,〔Andre van Tonder, ("A Lambda Calculus for Quantum Computation" ), SIAM J. Comput., 33(5), 1109–1135. (27 pages), 2004. Also available from (arXiv:quant-ph/0307150 )〕 Selinger and Valiron 〔Peter Selinger and Benoît Valiron, ("A lambda calculus for quantum computation with classical control" ), Mathematical Structures in Computer Science 16(3):527-552, 2006.〕 and by Arrighi and Dowek.〔Pablo Arrighi, Gilles Dowek, ("Linear-algebraic lambda-calculus: higher-order, encodings and confluence" ), 2006〕 Simon Gay's (Quantum Programming Languages Survey ) provides information on the state of research and a comprehensive bibliography of resources about quantum programming as of 2007. == Imperative quantum programming languages == 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Quantum programming」の詳細全文を読む スポンサード リンク
|